Fadi Aloul: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom) - Ostrava, Czech Republic (2018.9.17-2018.9.20)] 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom) - Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring

Aburukba, Raafat, Sagahyroon, Assim, Aloul, Fadi, Thodika, Niha

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

2

Digital Twin Conceptual Model within the Context of Internet of Things

Al-Ali, A. R., Gupta, Ragini, Zaman Batool, Tasneem, Landolsi, Taha, Aloul, Fadi, Al Nabulsi, Ahmad

Journal:

Future Internet

Year:

2020

File:

PDF, 3.01 MB

2020

3

[IEEE 2020 International Conference on Information Networking (ICOIN) - Barcelona, Spain (2020.1.7-2020.1.10)] 2020 International Conference on Information Networking (ICOIN) - A Monitoring and Control Gateway for IoT Edge Devices in Smart Home

Aloul, Fadi, Zualkernan, Imran, Shapsough, Shams, Towheed, Mohammed

Year:

2020

File:

PDF, 7.21 MB

2020

4

Updating snort with a customized controller to thwart port scanning

Wassim El-Hajj, Hazem Hajj, Zouheir Trabelsi, Fadi Aloul

Journal:

Security and Communication Networks

Year:

2011

Language:

english

File:

PDF, 455 KB

english, 2011

5

Optimizing Complex Cluster Formation in MANETs Using SAT/ILP Techniques

Zahidi, Syed Zohaib Hussain, Aloul, Fadi, Sagahyroon, Assim, El-Hajj, Wassim

Journal:

IEEE Sensors Journal

Year:

2013

Language:

english

File:

PDF, 685 KB

english, 2013

6

[IEEE 2012 International Conference on Computer Systems and Industrial Informatics (ICCSII) - Sharjah, United Arab Emirates (2012.12.18-2012.12.20)] 2012 International Conference on Computer Systems and Industrial Informatics - Towards understanding phishing victims' profile

Darwish, Ali, Zarka, Ahmed El, Aloul, Fadi

Year:

2012

Language:

english

File:

PDF, 838 KB

english, 2012

7

[IEEE 2008 International Wireless Communications and Mobile Computing Conference (IWCMC) - Crete Island, Greece (2008.08.6-2008.08.8)] 2008 International Wireless Communications and Mobile Computing Conference - On Detecting Port Scanning using Fuzzy Based Intrusion Detection System

El-Hajj, Wassim, Aloul, Fadi, Trabelsi, Zouheir, Zaki, Nazar

Year:

2008

Language:

english

File:

PDF, 238 KB

english, 2008

8

[IEEE 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS) - Abu Dhabi, United Arab Emirates (2013.12.8-2013.12.11)] 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS) - Tutorial 1: Foundations and Practical Design of CMOS Image Sensors

Rodriguez-Vazquez, Angel, Alshaer, Hamada, Sharif, Bayan, Fahim, Amr, Mandouh, Eman El, Salem, Ashraf, Aloul, Fadi A., Abdel-Aty, Hoda S., Dodge, John F., Mohammad, Baker, Mohamed, Hisham

Year:

2013

Language:

english

File:

PDF, 83 KB

english, 2013

9

[IEEE 2009 International Conference on Microelectronics - ICM - Marrakech, Morocco (2009.12.19-2009.12.22)] 2009 International Conference on Microelectronics - ICM - Tutorial proposal efficient solving of optimization problems using advanced boolean satisfiability and Integer Linear Programming techniques

Year:

2009

Language:

english

File:

PDF, 496 KB

english, 2009

10

A case study of a college-wide first-year undergraduate engineering course

Aloul, Fadi, Zualkernan, Imran, Husseini, Ghaleb, El-Hag, Ayman, Al-Assaf, Yousef

Journal:

European Journal of Engineering Education

Year:

2015

Language:

english

File:

PDF, 413 KB

english, 2015

11

[IEEE 2015 10th International Conference for Internet Technology and Secured Transactions (ICITST) - London, United Kingdom (2015.12.14-2015.12.16)] 2015 10th International Conference for Internet Technology and Secured Transactions (ICITST) - Internet of things (IoT) security: Current status, challenges and prospective measures

Mahmoud, Rwan, Yousuf, Tasneem, Aloul, Fadi, Zualkernan, Imran

Year:

2015

Language:

english

File:

PDF, 525 KB

english, 2015

12

[IEEE 2015 International Conference on Smart Grid and Clean Energy Technologies (ICSGCE) - Offenburg, Germany (2015.10.20-2015.10.23)] 2015 International Conference on Smart Grid and Clean Energy Technologies (ICSGCE) - Smart grid cyber security: Challenges and solutions

Shapsough, Salsabeel, Qatan, Fatma, Aburukba, Raafat, Aloul, Fadi, Al Ali, A. R.

Year:

2015

Language:

english

File:

PDF, 444 KB

english, 2015

13

[IEEE 2017 IEEE 19th International Conference on e-Health Networking, Applications and Services (Healthcom) - Dalian (2017.10.12-2017.10.15)] 2017 IEEE 19th International Conference on e-Health Networking, Applications and Services (Healthcom) - AutiAid: A learning mobile application for autistic children

Aburukba, Raafat, Aloul, Fadi, Mahmoud, Anam, Kamili, Kamil, Ajmal, Suad

Year:

2017

Language:

english

File:

PDF, 393 KB

english, 2017

14

[IEEE 2018 2nd International Conference on Smart Grid and Smart Cities (ICSGSC) - Kuala Lumpur, Malaysia (2018.8.12-2018.8.14)] 2018 2nd International Conference on Smart Grid and Smart Cities (ICSGSC) - Cyber Physical Sensors System Security: Threats, Vulnerabilities, and Solutions

Essa, Areej, Al-Shoura, Tariq, Al Nabulsi, Ahmad, Al-Ali, A. R., Aloul, Fadi

Year:

2018

Language:

english

File:

PDF, 3.48 MB

english, 2018

15

[IEEE 2019 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) - Bangkok, Thailand (2019.11.11-2019.11.14)] 2019 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) - On the Implementation of a Rotated Chaotic Lorenz System on FPGA

Orabi, Hammam, Elnawawy, Mohammed, Sagahyroon, Assim, Aloul, Fadi, Elwakil, Ahmed S., Radwan, Ahmed G.

Year:

2019

File:

PDF, 920 KB

2019

16

Search techniques for SAT-based Boolean optimization

Journal:

Journal of the Franklin Institute

Year:

2006

Language:

english

File:

PDF, 154 KB

english, 2006

17

Using SAT-based techniques in power estimation

Assim Sagahyroon, Fadi A. Aloul

Journal:

Microelectronics Journal

Year:

2007

Language:

english

File:

PDF, 416 KB

english, 2007

18

Dynamic symmetry-breaking for Boolean satisfiability

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

19

[IEEE Melecon 2010 - 2010 15th IEEE Mediterranean Electrotechnical Conference - Valletta, Malta (2010.04.26-2010.04.28)] Melecon 2010 - 2010 15th IEEE Mediterranean Electrotechnical Conference - Low power state assignment using ILP techniques

Sagahyroon, Assim, Aloul, Fadi A., Sudnitson, Alexander

Year:

2010

Language:

english

File:

PDF, 220 KB

english, 2010

20

[IEEE 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE) - Chania, Greece (2013.11.10-2013.11.13)] 13th IEEE International Conference on BioInformatics and BioEngineering - On the use of smartphones for detecting obstructive sleep apnea

Al-Mardini, Mamoun, Aloul, Fadi, Sagahyroon, Assim, Al-Husseini, Luai

Year:

2013

Language:

english

File:

PDF, 562 KB

english, 2013

21

[IEEE 2009 IEEE/ACS International Conference on Computer Systems and Applications - Rabat, Morocco (2009.05.10-2009.05.13)] 2009 IEEE/ACS International Conference on Computer Systems and Applications - Two factor authentication using mobile phones

Aloul, Fadi, Zahidi, Syed, El-Hajj, Wassim

Year:

2009

Language:

english

File:

PDF, 296 KB

english, 2009

22

Real traffic logs creation for testing intrusion detection systems

El-Hajj, Wassim, Al-Tamimi, Mustafa, Aloul, Fadi

Journal:

Wireless Communications and Mobile Computing

Year:

2014

Language:

english

File:

PDF, 1.41 MB

english, 2014

23

Classifying obstructive sleep apnea using smartphones

Al-Mardini, Mamoun, Aloul, Fadi, Sagahyroon, Assim, Al-Husseini, Luai

Journal:

Journal of Biomedical Informatics

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

24

[IEEE 2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC 2012) - Limassol, Cyprus (2012.08.27-2012.08.31)] 2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC) - Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS

Zahidi, Syed, Aloul, Fadi, Sagahyroon, Assim, El-Hajj, Wassim

Year:

2012

Language:

english

File:

PDF, 620 KB

english, 2012

25

[IEEE 2010 44th Annual Conference on Information Sciences and Systems (CISS) - Princeton, NJ, USA (2010.03.17-2010.03.19)] 2010 44th Annual Conference on Information Sciences and Systems (CISS) - Transmission coordination for ad hoc networks

Kini, Ananth V., Weber, Steven, Aloul, Fadi, Kandasamy, Nagarajan

Year:

2010

Language:

english

File:

PDF, 475 KB

english, 2010

26

[IEEE Communication Technologies: from Theory to Applications (ICTTA) - Damascus, Syria (2008.04.7-2008.04.11)] 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications - Mobile RFID Tracking System

Al-Ali, A. R., Aloul, Fadi A., Aji, Nada R., Al-Zarouni, Amin A., Fakhro, Nassar H.

Year:

2008

Language:

english

File:

PDF, 605 KB

english, 2008

27

[IEEE 2008 3rd International Design and Test Workshop (IDT) - Monastir, Tunisia (2008.12.20-2008.12.22)] 2008 3rd International Design and Test Workshop - Session A5: System design method & design verification

Aloul, Fadi, Delfieu, David

Year:

2008

File:

PDF, 129 KB

2008

28

Solution and Optimization of Systems of Pseudo-Boolean Constraints

Aloul, Fadi A., Ramani, Arathi, Sakallah, Karem A., Markov, Igor L.

Journal:

IEEE Transactions on Computers

Year:

2007

Language:

english

File:

PDF, 2.56 MB

english, 2007

29

[IEEE 2008 5th IEEE Consumer Communications and Networking Conference - Las Vegas, Nevada, USA (2008.01.10-2008.01.12)] 2008 5th IEEE Consumer Communications and Networking Conference - Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability

Aloul, Fadi A., Al-Rawi, Bashar, Aboelaze, Mokhtar

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

30

[IEEE Melecon 2010 - 2010 15th IEEE Mediterranean Electrotechnical Conference - Valletta, Malta (2010.04.26-2010.04.28)] Melecon 2010 - 2010 15th IEEE Mediterranean Electrotechnical Conference - Using SAT techniques in dynamic burn-in vector generation

Aloul, Fadi A., Sagahyroon, Assim

Year:

2010

Language:

english

File:

PDF, 228 KB

english, 2010

31

[IEEE 2006 Innovations in Information Technology - Dubai, United Arab Emirates (2006.11.19-2006.11.21)] 2006 Innovations in Information Technology - PolluMap: A Pollution Mapper for Cities

AbuJayyab, Mohammed, Ahdab, Salim, Taji, M., Hamdani, Zahraa, Aloul, Fadi

Year:

2006

Language:

english

File:

PDF, 385 KB

english, 2006

32

[IEEE 2012 11th International Conference on Information Sciences, Signal Processing and their Applications (ISSPA) - Montreal, QC, Canada (2012.07.2-2012.07.5)] 2012 11th International Conference on Information Science, Signal Processing and their Applications (ISSPA) - Solving the Clustering Problem in MANETs using SAT & ILP techniques

Zahidi, Syed, Aloul, Fadi, Sagahyroon, Assim, El-Hajj, Wassim

Year:

2012

Language:

english

File:

PDF, 503 KB

english, 2012

33

[IEEE 2008 3rd International Design and Test Workshop (IDT) - Monastir, Tunisia (2008.12.20-2008.12.22)] 2008 3rd International Design and Test Workshop - Keynote address 2: “Advances in boolean satisfiability and its application in EDA”

Aloul, Fadi, Zorian, Yervant

Year:

2008

File:

PDF, 306 KB

2008

34

[IEEE AFRICON 2013 - Pointe-Aux-Piments, Mauritius (2013.09.9-2013.09.12)] 2013 Africon - A SAT-based approach to solve the faculty course scheduling problem

Aloul, Fadi, Zabalawi, Imad, Wasfy, Ahmed

Year:

2013

Language:

english

File:

PDF, 177 KB

english, 2013

35

[IEEE 2009 IEEE Wireless Communications and Networking Conference - Budapest, Hungary (2009.04.5-2009.04.8)] 2009 IEEE Wireless Communications and Networking Conference - PN Code Acquisition Using Boolean Satisfiability Techniques

Aloul, Fadi A., El-Tarhuni, Mohamed

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

36

[IEEE 2012 IEEE 14th International Conference on e-Health Networking, Applications and Services (Healthcom 2012) - Beijing, China (2012.10.10-2012.10.13)] 2012 IEEE 14th International Conference on e-Health Networking, Applications and Services (Healthcom) - Sleep Apnea Monitoring using mobile phones

Alqassim, Shamma, Ganesh, Madhumeta, Khoja, Shaheen, Zaidi, Meher, Aloul, Fadi, Sagahyroon, Assim

Year:

2012

Language:

english

File:

PDF, 691 KB

english, 2012

37

[IEEE 2011 IEEE Global Engineering Education Conference (EDUCON) - Amman, Jordan (2011.04.4-2011.04.6)] 2011 IEEE Global Engineering Education Conference (EDUCON) - A case study of a college-wide first year undergraduate engineering course

Aloul, Fadi, Zualkernan, Imran, El-Hag, Ayman, Husseini, Ghaleb, Al-Assaf, Yousef

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

38

[IEEE 2006 3rd International Conference on Electrical and Electronics Engineering - Veracruz, Mexico (2006.9.6-2006.9.6)] 2006 3rd International Conference on Electrical and Electronics Engineering - Identifying the Shortest Path in Large Networks using Boolean Satisfiability

Aloul, Fadi, Rawi, Bashar, Aboelaze, Mokhtar

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

39

[IEEE 2014 International Conference on Industrial Automation, Information and Communications Technology (IAICT) - Bali, Indonesia (2014.8.28-2014.8.30)] 2014 International Conference on Industrial Automation, Information and Communications Technology - iBump: Smartphone application to detect car accidents

Aloul, Fadi, Zualkernan, Imran, Abu-Salma, Ruba, Al-Ali, Humaid, Al-Merri, May

Year:

2014

Language:

english

File:

PDF, 608 KB

english, 2014

40

USING SAT-BASED TECHNIQUES IN LOW POWER STATE ASSIGNMENT

SAGAHYROON, ASSIM, ALOUL, FADI A., SUDNITSON, ALEXANDER

Journal:

Journal of Circuits System and Computers

Year:

2011

Language:

english

File:

PDF, 156 KB

english, 2011

41

iBump: Smartphone application to detect car accidents

Aloul, Fadi, Zualkernan, Imran, Abu-Salma, Ruba, Al-Ali, Humaid, Al-Merri, May

Journal:

Computers & Electrical Engineering

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

42

[IEEE 2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC 2013) - Sardinia, Italy (2013.07.1-2013.07.5)] 2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC) - Framework for creating realistic port scanning benchmarks

Al-Tamimi, Mustafa, El-Hajj, Wassim, Aloul, Fadi

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

43

Symmetry in Boolean Satisfiability

Journal:

Year:

2010

Language:

english

File:

PDF, 243 KB

english, 2010

44

Symmetry breaking for pseudo-Boolean formulas

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Journal:

Journal of Experimental Algorithmics

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

45

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - Dynamic symmetry-breaking for improved Boolean optimization

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

46

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - An experimental study of satisfiability search heuristics (poster paper)

Aloul, Fadi A., Marques-Silva, João P., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 17 KB

english, 2000

47

[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Scalable hybrid verification of complex microprocessors

Mneimneh, Maher, Aloul, Fadi, Weaver, Chris, Chatterjee, Saugata, Sakallah, Karem, Austin, Todd

Year:

2001

Language:

english

File:

PDF, 147 KB

english, 2001

48

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Satometer:

Aloul, Fadi A., Sierawski, Brian D., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 588 KB

english, 2002

49

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Solving difficult SAT instances in the presence of symmetry

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 370 KB

english, 2002

50

[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Generic ILP versus specialized 0-1 ILP

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 218 KB

english, 2002